Using First-Order Logic to Compress Sentences
نویسندگان
چکیده
Sentence compression is one of the most challenging tasks in natural language processing, which may be of increasing interest to many applications such as abstractive summarization and text simplification for mobile devices. In this paper, we present a novel sentence compression model based on first-order logic, using Markov Logic Network. Sentence compression is formulated as a word/phrase deletion problem in this model. By taking advantage of first-order logic, the proposed method is able to incorporate local linguistic features and to capture global dependencies between word deletion operations. Experiments on both written and spoken corpora show that our approach produces competitive performance against the state-of-the-art methods in terms of manual evaluation measures such as importance, grammaticality, and overall quality.
منابع مشابه
Expressing Second-order Sentences in Intuitionistic Dependence Logic
Intuitionistic dependence logic was introduced by Abramsky and Väänänen [AV09] as a variant of dependence logic under a general construction of Hodges’ (trump) team semantics. It was proven that there is a translation from intuitionistic dependence logic sentences into second order logic sentences. In this paper, we prove that the other direction is also true, therefore intuitionistic dependenc...
متن کاملCounterfactual Donkey Sentences: A Response to
Robert van Rooij (2006) proposed an analysis of counterfactual donkey sentences by combining the Stalnaker–Lewis analysis of counterfactuals with standard dynamic semantics. This paper points out some problems with van Rooij’s treatment of counterfactual sentences in the language of first-order logic and provides a new interpretation using dynamic semantics. 1 VAN ROOIJ’S THEORY OF COUNTERFACTUAL
متن کاملFinitely-Verifiable Classes of Sentences
This paper proposes a notion of finitely-verifiable classes of sentences. Informally, a class of sentences is finitely-verifiable if whether a sentence in this class is a theorem of a given theory can be checked with respect to a finite set of models of the theory. The usefulness of this notion is illustrated using examples from arithmetics, first-order logic, game theory, and planning.
متن کاملLinear Formulas in Continuous Logic
We prove that continuous sentences preserved by the ultramean construction (a generalization of the ultraproduct construction) are exactly those sentences which are approximated by linear sentences. Continuous sentences preserved by linear elementary equivalence are exactly those sentences which are approximated in the Riesz space generated by linear sentences. Also, characterizations for linea...
متن کاملMethods of Class Field Theory to Separate Logics over Finite Residue Classes and Circuit Complexity
Separations among the first-order logic Res(0,+,×) of finite residue classes, its extensions with generalized quantifiers, and in the presence of a built-in order are shown in this article, using algebraic methods from class field theory. These methods include classification of spectra of sentences over finite residue classes as systems of congruences, and the study of their h-densities over th...
متن کامل